/********************************************************************************
 * DESCRIPTION OF THE FILE HERE
 ********************************************************************************/

#include "common.h"

void system_init(){
  /* initialize random seed: */
  srand ( time(NULL) );  
}

void system_exit(){
  /* do nothing */
}
